Answer Set Programming Made Easy

We take up an idea from the folklore of Answer Set Programming (ASP), namely that choices, integrity constraints along with a restricted rule format is sufficient for ASP. elaborate upon foundations this in context logic Here-and-There and show how it can be derived logical principle extension by definition. then provide austere form programs may serve as normalform similar to conjunctive classical logic. Finally, we key ideas propose modeling methodology ASP beginners illustrate used.